Linear analysis of frameworks

نویسندگان

چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

woman-defined identity: analysis of selected poems of adrienne rich

the current thesis is composed in five chapters in the following fashion: chapter two encompasses the applied framework of the project in details; the methodology of carl gustav jung to explain the process of individuation, the major archetypes and their attributes and his techniques to assess the mind’s strata are all explained. moreover, the austrian psychoanalysts, heinz kohut’s models of a...

Linear Programming - Randomization and Abstract Frameworks

Recent years have brought some progress in the knowledge of the complexity of linear programming in the unit cost model, and the best result known at this point is a randomized ‘combinatorial’ algorithm which solves a linear program over d variables and n constraints with expected O(dn + e √ d log ) arithmetic operations. The bound relies on two algorithms by Clarkson, and the subexponential al...

متن کامل

Canonical Proofs for Linear Logic Programming Frameworks

We discuss here the proof-theoretic foundations for theorem proving and logic programming in linear logic, mainly studying how to deene canonical proofs (that are complete) for eecient proof search in fragments of linear logic. We analyze the conception of such proof forms, for frameworks based on proof-construction as computation, emphasizing the relationship between the logical fragment and i...

متن کامل

analysis of power in the network society

اندیشمندان و صاحب نظران علوم اجتماعی بر این باورند که مرحله تازه ای در تاریخ جوامع بشری اغاز شده است. ویژگیهای این جامعه نو را می توان پدیده هایی از جمله اقتصاد اطلاعاتی جهانی ، هندسه متغیر شبکه ای، فرهنگ مجاز واقعی ، توسعه حیرت انگیز فناوری های دیجیتال، خدمات پیوسته و نیز فشردگی زمان و مکان برشمرد. از سوی دیگر قدرت به عنوان موضوع اصلی علم سیاست جایگاه مهمی در روابط انسانی دارد، قدرت و بازتولید...

15 صفحه اول

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Applied Mathematical Modelling

سال: 1984

ISSN: 0307-904X

DOI: 10.1016/0307-904x(84)90095-7